منابع مشابه
Splittings and the Finite Model Property
An old and conjecture of modal logics states that every splitting of the major systems K4, S4 and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works b...
متن کاملA Finite Model Property for Intersection Types
We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder ⊆ (although this also follows from the so called beta soundness of BCD). BCD is the relational theory of intersection types p...
متن کاملFinite Model Property of Pretransitive Modal Logic
The finite model property of the quasi-transitive modal logic K32 = K ⊕ ✷✷p → ✷✷✷p is proved. This modal logic is conservatively extended to the tense logic Kt32. We present a Gentzen sequent calculus Gt32 for Kt 3 2 which admits cut elimination. The sequent calculus Gt 3 2 is shown to have the finite model property by a construction of finite syntactic model. It follows that Kt32 has the finit...
متن کاملOn the Finite Model Property in Order-Sorted Logic
The Schoenfinkel-Bernays-Ramsey class is a fragment of first-order logic with the Finite Model Property: a sentence in this class is satisfiable if and only if it is satisfied in a finite model. Since an upper bound on the size of such a model is computable from the sentence, the satisfiability problem for this family is decidable. Sentences in this form arise naturally in a variety of applicat...
متن کاملPreservation by fibring of the finite model property
Capitalising on the graph-theoretic account of fibring proposed in [31], we show that fibring preserves the finite model property under mild conditions. Illustrations are provided for modal, deontic, paraconsistent and linear logics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1983
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870375